automated reasoning - Espagnol Anglais Dictionnaire